Natural transformers

Monad Transformers as Monoid Transformers

The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of this approach is that the operations associated to the pre-existing monad need to be lifted to the new monad. In a companion paper by Jaskelioff, the lifting problem has been addressed in the setting of system Fω. Her...

RF transformers for ultrasonic

Performance of electrical matching of an ultrasonic transducer to the excitation generator is analyzed. The analysis is based on a transducer measured impedance. Real power supplied to the ultrasonic transducer is one of evaluation criteria. The obtainable bandwidth as well as it’s product with a real power supplied are assigned as the alternative performance evaluation criteria. Effective band...

Connectivity preserving network transformers

The Population Protocol model is a distributed model that concerns systems of very weak computational entities that cannot control the way they interact. The model of Network Constructors is a variant of Population Protocols capable of (algorithmically) constructing abstract networks. Both models are characterized by a fundamental inability to terminate. In this work, we investigate the minimal...

Underapproximating Predicate Transformers

We study the underapproximation of the predicate transformers used to give semantics to the modalities in dynamic and temporal logic. Because predicate transformers operate on state sets, we define appropriate powerdomains for sound approximation. We study four such domains — two are based on “set inclusion” approximation, and two are based on “quantification” approximation — and we apply the d...

Differential Protection of Transformers